abstract typealias Foo = Int